<?php




if (isset($_GET) && trim($_GET['project']) == "linuxcounter" && intval($_GET['revision']) >= 1220) {
	system('/usr/bin/checkout_lico.sh '.$_GET['project'].' '.$_GET['revision']);
}




?>